Predicate a-enter : (x.equals("a") | x.equals("ab") | x.equals("ba")) ;
Predicate b-enter : (x.equals("b") | x.equals("ab") | x.equals("ba")) ;
Formula : [] (! (a-enter /\ b-enter))       
Violation handler :
System.out.println("Fomula Violated!");
